]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a52bfb) | patch
extensionPrefs: Remove unused files
authorFlorian Müllner <fmuellner@gnome.org>
Thu, 19 Mar 2020 22:24:34 +0000 (23:24 +0100)
committerGeorges Basile Stavracas Neto <georges.stavracas@gmail.com>
Sat, 21 Mar 2020 01:50:59 +0000 (01:50 +0000)
commit3d69fa8b9ccb689abfba48db8b2e1400e9d99301
tree70590e41ff20aebba6006ddc0a5847c408e49f72tree | snapshot
parent3a52bfbc0f37e347da97c4a5460eb52957b30a1bcommit | diff
extensionPrefs: Remove unused files

We include the regular Config module from js/misc, not the stripped-down
copy that was added in commit c8a4a9168.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1109
js/extensionPrefs/js/misc/config.js.in [deleted file] blob | history
js/extensionPrefs/js/misc/meson.build [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.